abstract equality